Generic programming - PDFSEARCH.IO - Document Search Engine

Generic programming
Results: 1118

#	Item
371	Doc. no. Date: Reply-To: N1489=[removed]September 16, 2003 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2003-09-17 03:31:28 Computer programming Typedef C++ classes Struct Typename Alias Allocator Sequence container Generic programming C++ Computing Software engineering
372	Trinity Andres L¨ oh joint work with Ralf Hinze Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Programming paradigms Generic programming Haskell ML Caml Functional programming Imperative programming Programming language Software engineering Computing Computer programming
373	Generic Haskell Andres Löh Universiteit Utrecht [removed] 24th November 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Programming language theory Haskell Generic programming Type system Pattern matching Haskell 98 features Generalized algebraic data type Software engineering Computing Functional languages
374	Generic Haskell — From Types to Programs ¨ and many others Dave Clarke, Johan Jeuring, Andres Loh Generic Haskell is an extension to the Haskell programming language that supports generic programming. Many problems ha Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Data types Type theory Generic programming Functional programming Haskell PCDATA C Lambda calculus XML Computing Software engineering Computer programming
375	Generic Programming in Haskell ¨ Andres Loh 8th May 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional programming Data types Parametricity Generic programming Functional languages Type class Polymorphism Id Theorem Software engineering Type theory Computing
376	Datatype-Generic Programming in Haskell Andres Löh (thanks to José Pedro Magalhães, Simon Peyton Jones and many others) Skills Matter “In the Brain” – 9 April 2013 Copyright © 2013 Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-04-10 05:28:11 Type theory Data types Generic programming Haskell Type system Type class Enumerated type C Glasgow Haskell Compiler Software engineering Programming language theory Computing
377	Open data types and open functions Andres L¨ oh and Ralf Hinze July 11, 2006 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 ECL programming language Harvard University Generic programming Expr Open Formal languages Parsing Recursive ascent parser Component Pascal Computing Software Unix
378	Expanding the Universe Andres Löh with lots of inspiration from José Pedro Magalhães and Conor McBride 23 May 2011 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Type theory Generic programming Data types Functional programming Agda Haskell Type class Dependent type Software engineering Computing Computer programming
379	Recovering explicit recursion in Generic Haskell ¨ Andres Loh 16. Oktober 2002 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14
380	[Faculty of Science Information and Computing Sciences] Generic programming with fixed points for mutually recursive datatypes Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Higher-order functions Functional programming Recursion Functional languages Generic programming Map Catamorphism Expr Haskell Software engineering Computing Declarative programming

UPDATE